Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
No Deus ex Machina
🔩Systems Programming
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Trying Out C++26 Executors
🦀Rust Macros
Flag this post
The Machine Learning Roadmap
🎵Audio ML
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·13h
🕸️WebAssembly
Flag this post
Set theory with types
🔤Type Theory
Flag this post
In the commit-on-demand pattern, what happens if an access violation straddles multiple pages?
devblogs.microsoft.com·2d
💾Memory Mapping
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·10h
💻Local LLMs
Flag this post
Perennial Technical Reading List
🔩Systems Programming
Flag this post
Zoomer: Powering AI Performance at Meta’s Scale Through Intelligent Debugging and Optimization
engineering.fb.com·1d
📊Performance Profiling
Flag this post
Loading...Loading more...